Nuprl Definition : w-msg
0,22
postcript
pdf
msg(
a
) == msg(lnk(kind(
a
));tag(kind(
a
));val(
a
))
latex
clarification:
w-msg(
w
;
a
) == msg(lnk(w-kind(
w
;
a
));tag(w-kind(
w
;
a
));w-val(
w
;
a
))
latex
Definitions
msg(
a
)
,
msg(
l
;
t
;
v
)
,
lnk(
k
)
,
tag(
k
)
,
kind(
a
)
,
val(
a
)
FDL editor aliases
w-msg
origin